getting diagram of initial state
getting diagram of goal state
Expanding nodes at depth 0
Expanding state 0
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action violated constraints
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 0
getting diagram of state 1
attempt number 0 in getting diagram encoding
got the diagram encoding of state 1
attempt number 0 in getting diagram picture
got the diagram picture of state 1
Number of valid nodes at depth 1 (1) ≤ beam width (4), skipping ranking/pruning.
Expanding nodes at depth 1
Expanding state 1
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 1
getting diagram of state 2
attempt number 0 in getting diagram encoding
got the diagram encoding of state 2
attempt number 0 in getting diagram picture
got the diagram picture of state 2
Number of valid nodes at depth 2 (1) ≤ beam width (4), skipping ranking/pruning.
Expanding nodes at depth 2
Expanding state 2
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 2
getting diagram of state 3
attempt number 0 in getting diagram encoding
got the diagram encoding of state 3
attempt number 0 in getting diagram picture
got the diagram picture of state 3
getting diagram of state 4
attempt number 0 in getting diagram encoding
got the diagram encoding of state 4
attempt number 0 in getting diagram picture
got the diagram picture of state 4
Validating action paths for new states at depth 3...
Number of valid nodes at depth 3 (2) ≤ beam width (4), skipping ranking/pruning.
Expanding nodes at depth 3
Expanding state 3
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 3
getting diagram of state 5
attempt number 0 in getting diagram encoding
got the diagram encoding of state 5
attempt number 0 in getting diagram picture
got the diagram picture of state 5
getting diagram of state 6
attempt number 0 in getting diagram encoding
got the diagram encoding of state 6
attempt number 0 in getting diagram picture
got the diagram picture of state 6
Expanding state 4
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 4
getting diagram of state 7
attempt number 0 in getting diagram encoding
got the diagram encoding of state 7
attempt number 0 in getting diagram picture
got the diagram picture of state 7
getting diagram of state 8
attempt number 0 in getting diagram encoding
got the diagram encoding of state 8
attempt number 0 in getting diagram picture
got the diagram picture of state 8
Validating action paths for new states at depth 4...
Number of valid nodes at depth 4 (4) ≤ beam width (4), skipping ranking/pruning.
Expanding nodes at depth 4
Expanding state 5
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 5
getting diagram of state 9
attempt number 0 in getting diagram encoding
got the diagram encoding of state 9
attempt number 0 in getting diagram picture
got the diagram picture of state 9
Expanding state 6
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 6
getting diagram of state 10
attempt number 0 in getting diagram encoding
got the diagram encoding of state 10
attempt number 0 in getting diagram picture
got the diagram picture of state 10
getting diagram of state 11
attempt number 0 in getting diagram encoding
Tile_0-1 should be painted black, but the robot should have moved to tile_1-0 before painting any tiles. The sequence of actions is incorrect according to the problem constraints. The robot should first move to tile_1-0 and paint tile_0-0 before any other tiles.
attempt number 1 in getting diagram encoding
Tile_0-1 should be painted black, but the encoding shows it as not painted.
attempt number 2 in getting diagram encoding
Tile_0-1 should be painted black, but the robot should have moved to tile_1-0 before painting tile_0-0, as per the problem constraints. The sequence of actions is incorrect.
attempt number 0 in getting diagram picture
got the diagram picture of state 11
Expanding state 7
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 7
getting diagram of state 12
attempt number 0 in getting diagram encoding
got the diagram encoding of state 12
attempt number 0 in getting diagram picture
got the diagram picture of state 12
Expanding state 8
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
created the 2th child state
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 8
getting diagram of state 13
attempt number 0 in getting diagram encoding
got the diagram encoding of state 13
attempt number 0 in getting diagram picture
got the diagram picture of state 13
getting diagram of state 14
attempt number 0 in getting diagram encoding
got the diagram encoding of state 14
attempt number 0 in getting diagram picture
got the diagram picture of state 14
Validating action paths for new states at depth 5...
Number of valid nodes at depth 5 (6) exceeds beam width (4) -> ranking...
Expanding nodes at depth 5
Expanding state 11
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 11
getting diagram of state 15
attempt number 0 in getting diagram encoding
got the diagram encoding of state 15
attempt number 0 in getting diagram picture
got the diagram picture of state 15
getting diagram of state 16
attempt number 0 in getting diagram encoding
got the diagram encoding of state 16
attempt number 0 in getting diagram picture
got the diagram picture of state 16
Expanding state 9
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 9
getting diagram of state 17
attempt number 0 in getting diagram encoding
got the diagram encoding of state 17
attempt number 0 in getting diagram picture
got the diagram picture of state 17
getting diagram of state 18
attempt number 0 in getting diagram encoding
got the diagram encoding of state 18
attempt number 0 in getting diagram picture
got the diagram picture of state 18
Expanding state 10
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 10
getting diagram of state 19
attempt number 0 in getting diagram encoding
got the diagram encoding of state 19
attempt number 0 in getting diagram picture
got the diagram picture of state 19
getting diagram of state 20
attempt number 0 in getting diagram encoding
got the diagram encoding of state 20
attempt number 0 in getting diagram picture
got the diagram picture of state 20
Expanding state 14
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 14
getting diagram of state 21
attempt number 0 in getting diagram encoding
got the diagram encoding of state 21
attempt number 0 in getting diagram picture
got the diagram picture of state 21
getting diagram of state 22
attempt number 0 in getting diagram encoding
got the diagram encoding of state 22
attempt number 0 in getting diagram picture
got the diagram picture of state 22
Validating action paths for new states at depth 6...
State 22 failed the action path verification test
Number of valid nodes at depth 6 (7) exceeds beam width (4) -> ranking...
Expanding nodes at depth 6
Expanding state 17
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 17
getting diagram of state 23
attempt number 0 in getting diagram encoding
got the diagram encoding of state 23
attempt number 0 in getting diagram picture
got the diagram picture of state 23
Expanding state 19
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 19
getting diagram of state 24
attempt number 0 in getting diagram encoding
got the diagram encoding of state 24
attempt number 0 in getting diagram picture
got the diagram picture of state 24
getting diagram of state 25
attempt number 0 in getting diagram encoding
got the diagram encoding of state 25
attempt number 0 in getting diagram picture
got the diagram picture of state 25
Expanding state 15
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 15
getting diagram of state 26
attempt number 0 in getting diagram encoding
got the diagram encoding of state 26
attempt number 0 in getting diagram picture
got the diagram picture of state 26
getting diagram of state 27
attempt number 0 in getting diagram encoding
got the diagram encoding of state 27
attempt number 0 in getting diagram picture
got the diagram picture of state 27
Expanding state 16
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 16
getting diagram of state 28
attempt number 0 in getting diagram encoding
got the diagram encoding of state 28
attempt number 0 in getting diagram picture
got the diagram picture of state 28
getting diagram of state 29
attempt number 0 in getting diagram encoding
got the diagram encoding of state 29
attempt number 0 in getting diagram picture
got the diagram picture of state 29
Validating action paths for new states at depth 7...
Number of valid nodes at depth 7 (7) exceeds beam width (4) -> ranking...
Expanding nodes at depth 7
Expanding state 27
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 27
getting diagram of state 30
attempt number 0 in getting diagram encoding
got the diagram encoding of state 30
attempt number 0 in getting diagram picture
got the diagram picture of state 30
getting diagram of state 31
attempt number 0 in getting diagram encoding
Tile_0-1 should be not painted, not painted black.
attempt number 1 in getting diagram encoding
Tile_0-1 status is incorrect; it should remain painted black.
attempt number 2 in getting diagram encoding
got the diagram encoding of state 31
attempt number 0 in getting diagram picture
got the diagram picture of state 31
Expanding state 28
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 28
getting diagram of state 32
attempt number 0 in getting diagram encoding
got the diagram encoding of state 32
attempt number 0 in getting diagram picture
got the diagram picture of state 32
getting diagram of state 33
attempt number 0 in getting diagram encoding
Tile_0-1 should be painted white, not black, according to the alternating color pattern described in the problem.
attempt number 1 in getting diagram encoding
Tile_0-1 status should be painted black, not painted white.
attempt number 2 in getting diagram encoding
Tile_0-1 should be painted white, not black.
attempt number 0 in getting diagram picture
got the diagram picture of state 33
Expanding state 23
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 23
getting diagram of state 34
attempt number 0 in getting diagram encoding
got the diagram encoding of state 34
attempt number 0 in getting diagram picture
got the diagram picture of state 34
getting diagram of state 35
attempt number 0 in getting diagram encoding
got the diagram encoding of state 35
attempt number 0 in getting diagram picture
got the diagram picture of state 35
Expanding state 24
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 24
getting diagram of state 36
attempt number 0 in getting diagram encoding
got the diagram encoding of state 36
attempt number 0 in getting diagram picture
got the diagram picture of state 36
getting diagram of state 37
attempt number 0 in getting diagram encoding
got the diagram encoding of state 37
attempt number 0 in getting diagram picture
got the diagram picture of state 37
Validating action paths for new states at depth 8...
State 31 failed the action path verification test
State 37 failed the action path verification test
Number of valid nodes at depth 8 (6) exceeds beam width (4) -> ranking...
Expanding nodes at depth 8
Expanding state 32
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 32
getting diagram of state 38
attempt number 0 in getting diagram encoding
got the diagram encoding of state 38
attempt number 0 in getting diagram picture
got the diagram picture of state 38
getting diagram of state 39
attempt number 0 in getting diagram encoding
got the diagram encoding of state 39
attempt number 0 in getting diagram picture
got the diagram picture of state 39
Expanding state 34
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 34
getting diagram of state 40
attempt number 0 in getting diagram encoding
got the diagram encoding of state 40
attempt number 0 in getting diagram picture
got the diagram picture of state 40
Expanding state 36
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 36
getting diagram of state 41
attempt number 0 in getting diagram encoding
got the diagram encoding of state 41
attempt number 0 in getting diagram picture
got the diagram picture of state 41
getting diagram of state 42
attempt number 0 in getting diagram encoding
got the diagram encoding of state 42
attempt number 0 in getting diagram picture
got the diagram picture of state 42
Expanding state 33
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 33
getting diagram of state 43
attempt number 0 in getting diagram encoding
Tile_0-1 should be "not painted" as the robot has not painted it yet in the new state.
attempt number 1 in getting diagram encoding
tile_0-1 status incorrectly updated from painted black to not painted
attempt number 2 in getting diagram encoding
got the diagram encoding of state 43
attempt number 0 in getting diagram picture
got the diagram picture of state 43
getting diagram of state 44
attempt number 0 in getting diagram encoding
Tile_0-1 was already painted black in the initial state, so the action paint-up(robot1, tile_0-1, tile_1-1, black) should not have been possible, as it violates the precondition that the tile must be clear.
attempt number 1 in getting diagram encoding
Tile_0-1 was already painted black in the initial state, so the action paint-up(robot1, tile_0-1, tile_1-1, black) should not have been possible, as it violates the precondition that the tile must be clear.
attempt number 2 in getting diagram encoding
Tile_0-1 was already painted black in the initial state, so the action paint-up(robot1, tile_0-1, tile_1-1, black) should not have been possible. The state description incorrectly suggests that tile_0-1 was painted again, which violates the problem constraints that a tile can only be painted if it is clear.
attempt number 0 in getting diagram picture
got the diagram picture of state 44
Validating action paths for new states at depth 9...
State 42 failed the action path verification test
State 44 failed the action path verification test
Number of valid nodes at depth 9 (5) exceeds beam width (4) -> ranking...
Expanding nodes at depth 9
Expanding state 39
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 39
getting diagram of state 45
attempt number 0 in getting diagram encoding
got the diagram encoding of state 45
attempt number 0 in getting diagram picture
got the diagram picture of state 45
getting diagram of state 46
attempt number 0 in getting diagram encoding
got the diagram encoding of state 46
attempt number 0 in getting diagram picture
got the diagram picture of state 46
Expanding state 38
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 38
getting diagram of state 47
attempt number 0 in getting diagram encoding
got the diagram encoding of state 47
attempt number 0 in getting diagram picture
got the diagram picture of state 47
getting diagram of state 48
attempt number 0 in getting diagram encoding
got the diagram encoding of state 48
attempt number 0 in getting diagram picture
got the diagram picture of state 48
Expanding state 40
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 40
getting diagram of state 49
attempt number 0 in getting diagram encoding
got the diagram encoding of state 49
attempt number 0 in getting diagram picture
got the diagram picture of state 49
Expanding state 41
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 41
getting diagram of state 50
attempt number 0 in getting diagram encoding
got the diagram encoding of state 50
attempt number 0 in getting diagram picture
got the diagram picture of state 50
getting diagram of state 51
attempt number 0 in getting diagram encoding
got the diagram encoding of state 51
attempt number 0 in getting diagram picture
got the diagram picture of state 51
Validating action paths for new states at depth 10...
Number of valid nodes at depth 10 (7) exceeds beam width (4) -> ranking...
Expanding nodes at depth 10
Expanding state 49
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 49
getting diagram of state 52
attempt number 0 in getting diagram encoding
got the diagram encoding of state 52
attempt number 0 in getting diagram picture
got the diagram picture of state 52
getting diagram of state 53
attempt number 0 in getting diagram encoding
got the diagram encoding of state 53
attempt number 0 in getting diagram picture
got the diagram picture of state 53
Expanding state 50
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 50
getting diagram of state 54
attempt number 0 in getting diagram encoding
got the diagram encoding of state 54
attempt number 0 in getting diagram picture
got the diagram picture of state 54
getting diagram of state 55
attempt number 0 in getting diagram encoding
got the diagram encoding of state 55
attempt number 0 in getting diagram picture
got the diagram picture of state 55
Expanding state 51
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 51
getting diagram of state 56
attempt number 0 in getting diagram encoding
got the diagram encoding of state 56
attempt number 0 in getting diagram picture
got the diagram picture of state 56
getting diagram of state 57
attempt number 0 in getting diagram encoding
got the diagram encoding of state 57
attempt number 0 in getting diagram picture
got the diagram picture of state 57
Expanding state 47
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 47
getting diagram of state 58
attempt number 0 in getting diagram encoding
got the diagram encoding of state 58
attempt number 0 in getting diagram picture
got the diagram picture of state 58
getting diagram of state 59
attempt number 0 in getting diagram encoding
got the diagram encoding of state 59
attempt number 0 in getting diagram picture
got the diagram picture of state 59
Validating action paths for new states at depth 11...
State 57 failed the action path verification test
Number of valid nodes at depth 11 (7) exceeds beam width (4) -> ranking...
Expanding nodes at depth 11
Expanding state 58
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 58
getting diagram of state 60
attempt number 0 in getting diagram encoding
got the diagram encoding of state 60
attempt number 0 in getting diagram picture
got the diagram picture of state 60
getting diagram of state 61
attempt number 0 in getting diagram encoding
got the diagram encoding of state 61
attempt number 0 in getting diagram picture
got the diagram picture of state 61
Expanding state 59
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 59
getting diagram of state 62
attempt number 0 in getting diagram encoding
Tile_0-4 should be painted black, not "not painted" as the robot is holding black paint and should have painted it before moving right.
attempt number 1 in getting diagram encoding
Tile_0-4 should not be painted black as the robot has not performed a paint-up action on it.
attempt number 2 in getting diagram encoding
got the diagram encoding of state 62
attempt number 0 in getting diagram picture
got the diagram picture of state 62
getting diagram of state 63
attempt number 0 in getting diagram encoding
Tile_0-2 should be painted white, not black, to match the alternating color pattern.
attempt number 1 in getting diagram encoding
tile_0-2 status incorrectly updated to painted white
attempt number 2 in getting diagram encoding
got the diagram encoding of state 63
attempt number 0 in getting diagram picture
got the diagram picture of state 63
Expanding state 52
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 52
getting diagram of state 64
attempt number 0 in getting diagram encoding
got the diagram encoding of state 64
attempt number 0 in getting diagram picture
got the diagram picture of state 64
Expanding state 54
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 54
getting diagram of state 65
attempt number 0 in getting diagram encoding
got the diagram encoding of state 65
attempt number 0 in getting diagram picture
got the diagram picture of state 65
getting diagram of state 66
attempt number 0 in getting diagram encoding
got the diagram encoding of state 66
attempt number 0 in getting diagram picture
got the diagram picture of state 66
Validating action paths for new states at depth 12...
State 62 failed the action path verification test
State 63 failed the action path verification test
State 66 failed the action path verification test
Number of valid nodes at depth 12 (4) ≤ beam width (4), skipping ranking/pruning.
Expanding nodes at depth 12
Expanding state 60
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 60
getting diagram of state 67
attempt number 0 in getting diagram encoding
got the diagram encoding of state 67
attempt number 0 in getting diagram picture
got the diagram picture of state 67
Expanding state 61
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 61
getting diagram of state 68
attempt number 0 in getting diagram encoding
got the diagram encoding of state 68
attempt number 0 in getting diagram picture
got the diagram picture of state 68
Expanding state 64
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 64
getting diagram of state 69
attempt number 0 in getting diagram encoding
got the diagram encoding of state 69
attempt number 0 in getting diagram picture
got the diagram picture of state 69
Expanding state 65
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 65
getting diagram of state 70
attempt number 0 in getting diagram encoding
got the diagram encoding of state 70
attempt number 0 in getting diagram picture
got the diagram picture of state 70
Validating action paths for new states at depth 13...
Number of valid nodes at depth 13 (4) ≤ beam width (4), skipping ranking/pruning.
Expanding nodes at depth 13
Expanding state 67
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 67
getting diagram of state 71
attempt number 0 in getting diagram encoding
got the diagram encoding of state 71
attempt number 0 in getting diagram picture
got the diagram picture of state 71
getting diagram of state 72
attempt number 0 in getting diagram encoding
got the diagram encoding of state 72
attempt number 0 in getting diagram picture
got the diagram picture of state 72
Expanding state 68
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 68
getting diagram of state 73
attempt number 0 in getting diagram encoding
got the diagram encoding of state 73
attempt number 0 in getting diagram picture
got the diagram picture of state 73
getting diagram of state 74
attempt number 0 in getting diagram encoding
got the diagram encoding of state 74
attempt number 0 in getting diagram picture
got the diagram picture of state 74
Expanding state 69
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 69
getting diagram of state 75
attempt number 0 in getting diagram encoding
got the diagram encoding of state 75
attempt number 0 in getting diagram picture
got the diagram picture of state 75
getting diagram of state 76
attempt number 0 in getting diagram encoding
got the diagram encoding of state 76
attempt number 0 in getting diagram picture
Tile_0-3 is not updated to painted black
attempt number 1 in getting diagram picture
got the diagram picture of state 76
Expanding state 70
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 70
getting diagram of state 77
attempt number 0 in getting diagram encoding
got the diagram encoding of state 77
attempt number 0 in getting diagram picture
got the diagram picture of state 77
getting diagram of state 78
attempt number 0 in getting diagram encoding
got the diagram encoding of state 78
attempt number 0 in getting diagram picture
Tile_0-3 is not painted black
attempt number 1 in getting diagram picture
Tile_0-3 is not painted black
attempt number 2 in getting diagram picture
Tile_0-3 is not painted black
Validating action paths for new states at depth 14...
State 71 failed the action path verification test
State 77 failed the action path verification test
Number of valid nodes at depth 14 (6) exceeds beam width (4) -> ranking...
Expanding nodes at depth 14
Expanding state 75
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 75
getting diagram of state 79
attempt number 0 in getting diagram encoding
got the diagram encoding of state 79
attempt number 0 in getting diagram picture
got the diagram picture of state 79
getting diagram of state 80
attempt number 0 in getting diagram encoding
got the diagram encoding of state 80
attempt number 0 in getting diagram picture
got the diagram picture of state 80
Expanding state 76
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 76
getting diagram of state 81
attempt number 0 in getting diagram encoding
got the diagram encoding of state 81
attempt number 0 in getting diagram picture
got the diagram picture of state 81
getting diagram of state 82
attempt number 0 in getting diagram encoding
got the diagram encoding of state 82
attempt number 0 in getting diagram picture
got the diagram picture of state 82
Expanding state 78
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 78
getting diagram of state 83
attempt number 0 in getting diagram encoding
got the diagram encoding of state 83
attempt number 0 in getting diagram picture
got the diagram picture of state 83
getting diagram of state 84
attempt number 0 in getting diagram encoding
got the diagram encoding of state 84
attempt number 0 in getting diagram picture
got the diagram picture of state 84
Expanding state 72
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 72
getting diagram of state 85
attempt number 0 in getting diagram encoding
got the diagram encoding of state 85
attempt number 0 in getting diagram picture
got the diagram picture of state 85
getting diagram of state 86
attempt number 0 in getting diagram encoding
got the diagram encoding of state 86
attempt number 0 in getting diagram picture
got the diagram picture of state 86
Validating action paths for new states at depth 15...
State 82 failed the action path verification test
State 85 failed the action path verification test
Number of valid nodes at depth 15 (6) exceeds beam width (4) -> ranking...
Expanding nodes at depth 15
Expanding state 79
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 79
getting diagram of state 87
attempt number 0 in getting diagram encoding
got the diagram encoding of state 87
attempt number 0 in getting diagram picture
got the diagram picture of state 87
getting diagram of state 88
attempt number 0 in getting diagram encoding
got the diagram encoding of state 88
attempt number 0 in getting diagram picture
got the diagram picture of state 88
Expanding state 81
attempt number 1 for getting child states
new action violated constraints
attempt number 2 for getting child states
new action violated constraints
attempt number 3 for getting child states
created the 1th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 81
getting diagram of state 89
attempt number 0 in getting diagram encoding
got the diagram encoding of state 89
attempt number 0 in getting diagram picture
got the diagram picture of state 89
Expanding state 83
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
created the 2th child state
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 83
getting diagram of state 90
attempt number 0 in getting diagram encoding
got the diagram encoding of state 90
attempt number 0 in getting diagram picture
got the diagram picture of state 90
getting diagram of state 91
attempt number 0 in getting diagram encoding
got the diagram encoding of state 91
attempt number 0 in getting diagram picture
got the diagram picture of state 91
Expanding state 80
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 80
getting diagram of state 92
attempt number 0 in getting diagram encoding
got the diagram encoding of state 92
attempt number 0 in getting diagram picture
got the diagram picture of state 92
getting diagram of state 93
attempt number 0 in getting diagram encoding
got the diagram encoding of state 93
attempt number 0 in getting diagram picture
got the diagram picture of state 93
Validating action paths for new states at depth 16...
State 88 failed the action path verification test
State 93 failed the action path verification test
Number of valid nodes at depth 16 (5) exceeds beam width (4) -> ranking...
Expanding nodes at depth 16
Expanding state 90
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
created the 2th child state
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 90
getting diagram of state 94
attempt number 0 in getting diagram encoding
got the diagram encoding of state 94
attempt number 0 in getting diagram picture
got the diagram picture of state 94
getting diagram of state 95
attempt number 0 in getting diagram encoding
got the diagram encoding of state 95
attempt number 0 in getting diagram picture
got the diagram picture of state 95
Expanding state 87
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 87
getting diagram of state 96
attempt number 0 in getting diagram encoding
got the diagram encoding of state 96
attempt number 0 in getting diagram picture
got the diagram picture of state 96
getting diagram of state 97
attempt number 0 in getting diagram encoding
got the diagram encoding of state 97
attempt number 0 in getting diagram picture
got the diagram picture of state 97
Expanding state 89
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 89
getting diagram of state 98
attempt number 0 in getting diagram encoding
got the diagram encoding of state 98
attempt number 0 in getting diagram picture
got the diagram picture of state 98
Expanding state 91
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 91
getting diagram of state 99
attempt number 0 in getting diagram encoding
got the diagram encoding of state 99
attempt number 0 in getting diagram picture
got the diagram picture of state 99
getting diagram of state 100
attempt number 0 in getting diagram encoding
got the diagram encoding of state 100
attempt number 0 in getting diagram picture
got the diagram picture of state 100
Validating action paths for new states at depth 17...
State 95 failed the action path verification test
State 100 failed the action path verification test
Number of valid nodes at depth 17 (5) exceeds beam width (4) -> ranking...
Expanding nodes at depth 17
Expanding state 97
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
created the 2th child state
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 3th child state
Generating diagrams and costs for child states of 97
getting diagram of state 101
attempt number 0 in getting diagram encoding
got the diagram encoding of state 101
attempt number 0 in getting diagram picture
got the diagram picture of state 101
getting diagram of state 102
attempt number 0 in getting diagram encoding
got the diagram encoding of state 102
attempt number 0 in getting diagram picture
got the diagram picture of state 102
getting diagram of state 103
attempt number 0 in getting diagram encoding
got the diagram encoding of state 103
attempt number 0 in getting diagram picture
got the diagram picture of state 103
Expanding state 99
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
created the 2th child state
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 99
getting diagram of state 104
attempt number 0 in getting diagram encoding
got the diagram encoding of state 104
attempt number 0 in getting diagram picture
got the diagram picture of state 104
getting diagram of state 105
attempt number 0 in getting diagram encoding
got the diagram encoding of state 105
attempt number 0 in getting diagram picture
got the diagram picture of state 105
Expanding state 98
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
created the 2th child state
Generating diagrams and costs for child states of 98
getting diagram of state 106
attempt number 0 in getting diagram encoding
got the diagram encoding of state 106
attempt number 0 in getting diagram picture
got the diagram picture of state 106
getting diagram of state 107
attempt number 0 in getting diagram encoding
got the diagram encoding of state 107
attempt number 0 in getting diagram picture
got the diagram picture of state 107
Expanding state 96
attempt number 1 for getting child states
created the 1th child state
attempt number 2 for getting child states
new action not unique
attempt number 3 for getting child states
new action not unique
attempt number 4 for getting child states
new action not unique
Generating diagrams and costs for child states of 96
getting diagram of state 108
attempt number 0 in getting diagram encoding
got the diagram encoding of state 108
attempt number 0 in getting diagram picture
got the diagram picture of state 108
Validating action paths for new states at depth 18...
Number of valid nodes at depth 18 (8) exceeds beam width (4) -> ranking...
Expanding nodes at depth 18
Confirmed goal state (majority vote)!!
['left(robot1, tile_1-4, tile_1-3)', 'left(robot1, tile_1-3, tile_1-2)', 'left(robot1, tile_1-2, tile_1-1)', 'left(robot1, tile_1-1, tile_1-0)', 'change-color(robot1, white, black)', 'paint-up(robot1, tile_0-0, tile_1-0, black)', 'right(robot1, tile_1-0, tile_1-1)', 'change-color(robot1, black, white)', 'paint-up(robot1, tile_0-1, tile_1-1, white)', 'right(robot1, tile_1-1, tile_1-2)', 'change-color(robot1, white, black)', 'paint-up(robot1, tile_0-2, tile_1-2, black)', 'right(robot1, tile_1-2, tile_1-3)', 'change-color(robot1, black, white)', 'paint-up(robot1, tile_0-3, tile_1-3, white)', 'right(robot1, tile_1-3, tile_1-4)', 'change-color(robot1, white, black)', 'paint-up(robot1, tile_0-4, tile_1-4, black)']
Goal state and path diagrams recorded in tiles_instance_3/goal_state
(left robot1 tile_1-4 tile_1-3)
(left robot1 tile_1-3 tile_1-2)
(left robot1 tile_1-2 tile_1-1)
(left robot1 tile_1-1 tile_1-0)
(change-color robot1 white black)
(paint-up robot1 tile_0-0 tile_1-0 black)
(right robot1 tile_1-0 tile_1-1)
(change-color robot1 black white)
(paint-up robot1 tile_0-1 tile_1-1 white)
(right robot1 tile_1-1 tile_1-2)
(change-color robot1 white black)
(paint-up robot1 tile_0-2 tile_1-2 black)
(right robot1 tile_1-2 tile_1-3)
(change-color robot1 black white)
(paint-up robot1 tile_0-3 tile_1-3 white)
(right robot1 tile_1-3 tile_1-4)
(change-color robot1 white black)
(paint-up robot1 tile_0-4 tile_1-4 black)
Goal state found.
